Typed assembly language

Results: 14



#Item
11Type theory / Procedural programming languages / Data types / Functional languages / Models of computation / Type safety / Symbol / Pointer / Closure / Software engineering / Computing / Programming language theory

From System F to Typed Assembly Language∗ Greg Morrisett David Walker Karl Crary

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-04-14 16:12:44
12Subroutines / Programming language implementation / Calling convention / Tail call / Stack / Call stack / ATS / Assembly language / Pointer / Software engineering / Computer programming / Computing

Stack-Based Typed Assembly Language ∗ Greg Morrisett Karl Crary Neal Glew

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 1999-04-14 16:12:34
13Booting / BIOS / Computer architecture / IBM Basic assembly language / Boot loaders / Drive letter assignment / TI-990 / Assembly languages / System software / Computing

README ;This collection of source code was typed (for typing practice ;and as an educational exercise) from Volume 1 of THE SOURCE. ;It contains all files required to construct a boot disk. Boot ;sectors can be written w

Add to Reading List

Source URL: www.tim-mann.org

Language: English - Date: 2002-06-10 03:15:02
14Subroutines / Programming language implementation / Cross-platform software / Control flow / Calling convention / Tail call / Call stack / Stack / ATS / Software engineering / Computing / Computer programming

Stack-Based Typed Assembly Language Greg Morrisett, Karl Crary, Neal Glew, and David Walker Cornell University

Add to Reading List

Source URL: glew.org

Language: English - Date: 2002-11-16 22:02:38
UPDATE